31![Intro First-order theories Higher-order theories Intro First-order theories Higher-order theories](https://www.pdfsearch.io/img/6d52ff233f60c8bdccfe9946c28f651f.jpg) | Add to Reading ListSource URL: www.lama.univ-savoie.frLanguage: English - Date: 2010-09-16 03:38:56
|
---|
32![](https://www.pdfsearch.io/img/0488e2af5b1a90e959e2aebf44002240.jpg) | Add to Reading ListSource URL: www.kroening.comLanguage: English - Date: 2015-02-13 06:17:10
|
---|
33![S.H Horikawa – Star Strider Robot (スターストライダーロボット) – Front S.H Horikawa – Star Strider Robot (スターストライダーロボット) – Front](https://www.pdfsearch.io/img/9cde74c13e2650aac4e3ca28578a4bf6.jpg) | Add to Reading ListSource URL: www.akbc.wsLanguage: English - Date: 2015-04-02 16:06:46
|
---|
34![In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007 In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007](https://www.pdfsearch.io/img/d82b85301e18458c428a79cec68f1df2.jpg) | Add to Reading ListSource URL: www.paultaylor.euLanguage: English - Date: 2009-02-12 12:35:14
|
---|
35![The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con](https://www.pdfsearch.io/img/754331a59c22691acf0d0a5647bd87bc.jpg) | Add to Reading ListSource URL: www.paultaylor.euLanguage: English - Date: 2009-06-03 17:25:38
|
---|
36![SNApp_Presentation_r3.ppt SNApp_Presentation_r3.ppt](https://www.pdfsearch.io/img/5b82ed130eaaa1a9a17854df46c4a8ba.jpg) | Add to Reading ListSource URL: www.parker.comLanguage: English - Date: 2013-11-05 12:50:29
|
---|
37![Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK](https://www.pdfsearch.io/img/36c6215cae47ed9ff92ad93b99f20bb7.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2011-04-02 14:59:57
|
---|
38![Evaluation of Output Embeddings for Fine-Grained Image Classification Zeynep Akata∗ , Scott Reed† , Daniel Walter† , Honglak Lee† and Bernt Schiele∗ ∗ Computer Vision and Multimodal Computing Max Planck Insti Evaluation of Output Embeddings for Fine-Grained Image Classification Zeynep Akata∗ , Scott Reed† , Daniel Walter† , Honglak Lee† and Bernt Schiele∗ ∗ Computer Vision and Multimodal Computing Max Planck Insti](https://www.pdfsearch.io/img/e317a725674af464b0cded35d4a85976.jpg) | Add to Reading ListSource URL: www-personal.umich.eduLanguage: English - Date: 2015-07-10 12:22:22
|
---|
39![Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W](https://www.pdfsearch.io/img/373212aec3469c489235234e6e133e54.jpg) | Add to Reading ListSource URL: www.kurims.kyoto-u.ac.jpLanguage: English - Date: 2013-03-26 18:38:51
|
---|
40![Abstracts & Program 1st Workshop on Mathematical Aspects of Computer Sciences: Models of Computation with Order and Topology Abstracts & Program 1st Workshop on Mathematical Aspects of Computer Sciences: Models of Computation with Order and Topology](https://www.pdfsearch.io/img/1cf9576d7c231daf4bf8e8b0d3ca2ea1.jpg) | Add to Reading ListSource URL: math-cs.ir- Date: 2015-04-08 12:22:35
|
---|